An extremely sharp phase transition threshold for the slow growing hierarchy
نویسندگان
چکیده
منابع مشابه
An extremely sharp phase transition threshold for the slow growing hierarchy
We investigate natural systems of fundamental sequences for ordinals below the Howard Bachmann ordinal and study growth rates of the resulting slow growing hierarchies. We consider a specific assignment of fundamental sequences which depends on a non negative real number ε. We show that the resulting slow growing hierarchy is eventually dominated by a fixed elementary recursive function if ε is...
متن کاملA Sharp Phase Transition Threshold for Elementary Descent Recursive Functions
Harvey Friedman introduced natural independence results for the Peano axioms (PA) via certain schemes of combinatorial well-foundedness. We consider in this article parameterized versions of a specific Friedman-style scheme and classify exactly the threshold for the transition from provability to unprovability in PA. For this purpose we fix a natural Schütte-style bijection between the ordinals...
متن کاملA sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses
In this paper we examine a variant, k-HSAT, of the well-known Satis®ability problem, wherein formula instances are limited to CNF formulae having exactly k literals in each clause at most one of which is un-negated. Such formulae correspond to sets of Horn clauses, each of which involves exactly k propositional variables. In addition, rather than seeking instantiations of the propositional vari...
متن کاملSharp Phase Transition Theorems for Hyperbolicity of Random Groups
We prove that in various natural models of a random quotient of a group, depending on a density parameter, for each hyperbolic group there is some critical density under which a random quotient is still hyperbolic with high probability, whereas above this critical value a random quotient is very probably trivial. We give explicit characterizations of these critical densities for the various mod...
متن کاملThe Phase Transition of the Quantum Ising Model Is Sharp
An analysis is presented of the phase transition of the quantum Ising model with transverse field on the d-dimensional hypercubic lattice. It is shown that there is a unique sharp transition. The value of the critical point is calculated rigorously in one dimension. The first step is to express the quantum Ising model in terms of a (continuous) classical Ising model in d + 1 dimensions. A so-ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2006
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129506005640